#ifndef __TYPES_H__
#define __TYPES_H__
#include <stdint.h>
#include <po_hi_protected.h>

typedef int pos_internal_type;

typedef struct
{
        __po_hi_protected_t protected_id;
        pos_internal_type field;
} pos_impl;

void pos_impl_update (pos_impl* pos);
void pos_impl_read (pos_impl* pos);


#endif

